Najah Chridi And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 004D02 | Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France] | Automated verification of a key management architecture for hierarchical group protocols |
| 004D53 | MOHAMED SALAH BOUASSIDA [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France] | Automated Verification of a Key Management Architecture for Hierarchical Group Protocols : Sécurité des réseaux et des systèmes d'information |
| 005B39 | Najah Chridi ; Laurent Vigneron | Modélisation des propriétés de sécurité de protocoles de groupe |
| 005B71 | Najah Chridi ; Benjamin Fontan ; Sara Mota | L2.5 SAFECAST : Spécification du système global - Intégration des services de sécurité au protocole de gestion de clés |
| 006421 | Najah Chridi [France] ; Benjamin Fontan [France] ; Sara Del Socorro Mota Gonzalez [France] | L2.5 SAFECAST : Spécification du système global - Intégration des services de sécurité au protocole de gestion de clés - |
| This area was generated with Dilib version V0.6.33. |  |